In our paper, monadic modal pseudocomplemented De Morgan algebras are considered following Halmos’ studies on monadic Boolean algebras. Hence, their topological representation theory is used successfully. Lattice congruences of an mmpM is characterized and the variety of mmpMs is proven semisimple via topological representation. Furthermore and among other things, the poset of principal congruences is investigated and proven to be a Boolean algebra; therefore, every principal congruence is a Boolean congruence. All these conclusions contrast sharply with known results for monadic (...) De Morgan algebras. Finally, we show that the above results for mmpM are verified for monadic tetravalent modal algebras. (shrink)

In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and Grigolia (...) :125–139, 2004) related to the characterization of a quantifier in terms of some special sub-algebra associated to it. On the other hand, we present a topological duality for this class of algebras and we apply it to characterize the congruences of one algebra via certain closed sets. Finally, we study the subvariety of this class generated by a chain of length n + 1. We prove that the subvariety is semisimple and we characterize their simple algebras. Using a special functional algebra, we determine all the simple finite algebras of this subvariety. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Paraconsistent extensions of 3-valued Gödel logic are studied as tools for knowledge representation and nonmonotonic reasoning. Particularly, Osorio and his collaborators showed that some of these logics can be used to express interesting nonmonotonic semantics. CG’3 is one of these 3-valued logics. In this paper, we introduce Fidel semantics for a certain calculus of CG’3 by means of Fidel structures, named CG’3-structures. These structures are constructed from enriched Boolean algebras with a special family of sets. Moreover, we also show that (...) the most basic CG’3-structures coincide with da Costa–Alves’ bi-valuation semantics; this connection is displayed through a Representation Theorem for CG’3-structures. By contrast, we show that for other paraconsistent logics that allow us to present semantics through Fidel structures, this connection is not held. Finally, Fidel semantics for the first-order version of the logic of CG’3 are presented by means of adapting algebraic tools. (shrink)

The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by a k-periodic automorphism -algebras). We denote by \ the automorphism where k is a positive integer. For \, the class coincides with the one studied in [20] where the automorphism works as a new unary operator which can be considered as a negation. In (...) the first place, we develop an algebraic study of the class of \-algebras; as consequence, we prove the class \-algebras is a semisimple variety and determine the generating algebras. After doing the algebraic study and using these properties, we built two families of sentential logics that we denote with \ and \ for every k. \ is a 1-assertional logic and \ is the degree-preserving logic both associated with the class of \-algebras. Working over these logics, we prove that \ is paraconsistent with respect to the de Morgan negation \, which is protoalgebraic and finitely equivalential but not algebraizable. In contrast, we prove that \ is algebraizable, sharing the same theorems with \, but not paraconsistent with respect to \. Furthermore, we show that \ and \ are paracomplete logics with respect to \ and \ and paraconsistent logics with respecto to \, for every k. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In 2016, Béziau introduced the notion of genuine paraconsistent logic as logic that does not verify the principle of non-contradiction; as an important example, he presented the genuine paraconsist...

In this paper, the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N and O satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to analyze the class of mbC-structures. Thus, substructures, union (...) of chains, direct products, direct limits, congruences and quotient structures can be analyzed under this perspective. In particular, a Birkhoff-like representation theorem for mbC-structures as subdirect products in terms of subdirectly irreducible mbC-structures is obtained by adapting a general result for first-order structures due to Caicedo. Moreover, a characterization of all the subdirectly irreducible mbC-structures is also given. An alternative decomposition theorem is obtained by using the notions of weak substructure and weak isomorphism considered by Fidel for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_n$$\end{document}-structures. (shrink)

Multialgebras (or hyperalgebras) have been very much studied in the literature. In the realm of Logic, they were considered by Avron and his collaborators under the name of non-deterministic matrices (or Nmatrices) as a useful semantics tool for characterizing some logics (in particular, several logics of formal inconsistency or LFIs) which cannot be characterized by a single finite matrix. In particular, these LFIs are not algebraizable by any method, including Blok and Pigozzi general theory. Carnielli and Coniglio introduced a semantics (...) of swap structures for LFIs, which are Nmatrices defined over triples in a Boolean algebra, generalizing Avron's semantics. In this paper we develop the first steps towards the possibility of defining an algebraic theory of swap structures for LFIs, by adapting concepts of universal algebra to multialgebras in a suitable way. (shrink)

The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean congruences on IKt-algebras. In order to do this we take into account a topological duality for these algebras obtained in Figallo et al. :673–701, 2017). Furthermore, we characterize Boolean and principal IKt-congruences and we show that Boolean IKt-congruence are principal IKt-congruences. Also, bearing in mind (...) the above results, we obtain that Boolean IKt-congruences are commutative, regular and uniform. Finally, we characterize the principal IKt-congruences in the case that the IKt-algebra is linear and complete whose prime filters are complete and also the case that it is linear and finite. This allowed us to establish that the intersection of two principal IKt-congruences on these algebras is a principal one and also to determine necessary and sufficient conditions so that a principal IKt-congruence is a Boolean one on theses algebras. (shrink)

The IKt-algebras that we investigate in this paper were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. Now we characterize by topological methods the subdirectly irreducible IKt-algebras and particularly the simple IKt-algebras. Finally, we consider the particular cases of finite IKt-algebras and complete IKt-algebras.

In this paper, we continue the study of the Łukasiewicz residuation algebras of order $n$ with Moisil possibility operators initiated by Figallo. More precisely, among other things, a method to determine the number of elements of the $MC_n$-algebra with a finite set of free generators is described. Applying this method, we find again the results obtained by Iturrioz and Monteiro and by Figallo for the case of Tarski algebras and $I\varDelta _{3}$-algebras, respectively.

In this paper we present a category equivalent to that of tense Nelson algebras. The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence and the morphisms are a special kind of IKt-homomorphisms. This categorical equivalence permits understanding tense Nelson algebras in terms of the better–known IKt-algebras.

Modal pseudocomplemented De Morgan algebras were investigated in A. V. Figallo, N. Oliva, A. Ziliani, Modal pseudocomplemented De Morgan algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 53, 1, pp. 65–79, and they constitute a proper subvariety of the variety of pseudocomplemented De Morgan algebras satisfying xΛ* = *))* studied by H. Sankappanavar in 1987. In this paper the study of these algebras is continued. More precisely, new characterizations of mpM-congruences are shown. In particular, one of them is (...) determined by taking into account an implication operation which is defined on these algebras as weak implication. In addition, the finite mpM-algebras were considered and a factorization theorem of them is given. Finally, the structure of the free finitely generated mpM-algebras is obtained and a formula to compute its cardinal number in terms of the number of the free generators is established. For characterization of the finitely-generated free De Morgan algebras, free Boole-De Morgan algebras and free De Morgan quasilattices see: [16, 17, 18]. (shrink)

In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in Studia Logica 109(2):285–312, 2021, Studia Logica 110(1):241–263, 2022). We define the variety of algebras, which we call tense Nelson D-algebras, as a natural extension of tense De Morgan algebras (Figallo and Pelaitay in Logic J IGPL 22(2):255–267, 2014). In particular, we give a discrete duality for these algebras. To do this, we will extend the representation theorems for Nelson algebras given (...) in Sendlewski (Studia Logica 43(3):257–280, 1984) to the tense case. (shrink)

In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a common generalization of tense Boolean algebras and tense n-valued Łukasiewicz–Moisil algebras. Here we initiate an investigation into the class tpLMn×m of tense polyadic n × m-valued Łukasiewicz–Moisil algebras. These algebras constitute a generalization of tense polyadic Boolean algebras introduced by Georgescu in 1979, as well as the tense polyadic n-valued Łukasiewicz–Moisil algebras studied by Chiriţă in 2012. Our main result is a representation theorem for tense (...) polyadic n × m-valued Łukasiewicz–Moisil algebras. (shrink)

In 2015, tense n × m-valued Lukasiewicz–Moisil algebras were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue the study of tense LMn×m-algebras. More precisely, we determine a Priestley-style duality for these algebras. This duality enables us not only to describe the tense LMn×m-congruences on a tense LMn×m-algebra, but also to characterize the simple and subdirectly irreducible tense LMn×m-algebras.

Gathers the pre-Sand Country Almanac writings of Aldo Leopold, showing that he was not born an ecologist, but evolved over time through experimentation and thought.

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a ‘typical’ dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light—a different light—on philosophical debates on the laws of nature. In (...) the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The constraints required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such constraints might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

This paper has a twofold aim. The first is to offer a precise definition of soft fact. Without such definition it is impossible to assess the Ockhamist solution to the problem of divine foreknowledge and human freedom in an accurate way. The second purpose is to identify the costs of such a solution, distinguishing them from some of the other costs usually ascribed to Ockhamism, which Ockhamism does not actually need to pay. In particular, it is argued that Ockhamism is (...) committed to the view that a true future exists and to a form of backward causation. (shrink)

Universities have long been involved in knowledge transfer activities. Yet the last 30 years have seen major changes in the governance of university–industry interactions. Knowledge transfer has become a strategic issue: as a source of funding for university research and (rightly or wrongly) as a policy tool for economic development. Universities vary enormously in the extent to which they promote and succeed in commercializing academic research. The identification of clear-cut models of governance for university–industry interactions and knowledge transfer processes is (...) not straightforward. The purpose of this article is to critically discuss university knowledge transfer models and review the recent developments in the literature on research collaborations, intellectual property rights and spin-offs, those forms of knowledge transfer that are more formalized and have been institutionalized in recent years. The article also addresses the role played by university knowledge transfer organizations in promoting commercialization of research results. (shrink)

The article aims to reconstruct (on the basis of some rarely studied passages of the Protagoras and Theaetetus, as well as some doxographical evidence) the theory of the Protagorean dialeghesthai, and shows its connections with other areas (linguistic, theory of law and hermeneutics) of Protagoras’ thought. This theory is related to the distinction between the competitive and the dialectical use of the discourse. The latter is constructive and involves an application of the principles of the orthoepeia to dialectical argumentation, in (...) order to strengthen its logical and linguistic rigor, and elaborate exemplary speeches on topics of law, politics, ethics. Divenuto partecipe di una sorte divina, l’uomo, a causa della sua parentela con la divinità, fu, in primo luogo, il solo tra gli esseri viventi a credere negli dèi, e a imprendere a elevare altari e statue delle divinità; in seguito, egli articolò ben presto la voce e le parole per mezzo dell’arte, inventò abitazioni, vesti, calzature, coperte e gli alimenti che provengono dalla terra. (shrink)

La investigación presente analizará las semejanzas y relaciones encontradas entre los planteamientos de Edmund Husserl y Simone Weil respecto al fenómeno religioso de la idolatría. Para ello, señalaremos en primer lugar el tratamiento que la religión podría tener dentro del marco fenomenológico husserliano; posteriormente, nos enfocaremos en el análisis de una de las publicaciones póstumas de autoría weiliana. Respecto al filósofo austríaco, se recurrirá a textos de distintos períodos de su obra, por lo que implícitamente se contemplará una continuación entre (...) sus denominados análisis estáticos y los genéticos. (shrink)

El punto central de análisis del trabajo es la katábasis o descenso del filósofo a la caverna como parte de la alegoría presentada en República VII. Frente a tres interpretaciones alternativas que serán mencionadas, se expondrá una interpretación que, sin entrar en conflicto con las anteriores, podría complementarlas por cuanto toma en cuenta el aspecto religioso inherente a la comprensión platónica de la filosofía: la homoíōsis theōi. Para ello, se analizarán pasajes del diálogo mencionado a la luz de otros provenientes (...) del Timeo y de Leyes X, lo que implicará un análisis intertextual de la obra platónica. (shrink)

Can stable regularities be explained without appealing to governing laws or any other modal notion? In this paper, I consider what I will call a ‘Humean system’—a generic dynamical system without guiding laws—and assess whether it could display stable regularities. First, I present what can be interpreted as an account of the rise of stable regularities, following from Strevens [2003], which has been applied to explain the patterns of complex systems (such as those from meteorology and statistical mechanics). Second, since (...) this account presupposes that the underlying dynamics displays deterministic chaos, I assess whether it can be adapted to cases where the underlying dynamics is not chaotic but truly random—that is, cases where there is no dynamics guiding the time evolution of the system. If this is so, the resulting stable, apparently non-accidental regularities are the fruit of what can be called statistical necessity rather than of a primitive physical necessity. (shrink)

Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed (...) us to determine the congruence of the tense Nelson algebras and also to characterize the subdirectly irreducible tense Nelson algebras and particularly the simple tense Nelson algebras. Finally, we prove that there exists an equivalence between the category of IKt-algebras and the category of tense centered Nelson algebras. (shrink)

Leopold first discusses the conservation of natural resources in the southwestern United States in economic tenns, stressing, in particular, erosion and aridity. He then concludes his analysis with a discussion of the moral issues involved, developing his general position within the context of P. D. Ouspenky’s early philosophy of organism.

If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

The prior issue of Krisis (42:1) published Critical Naturalism: A Manifesto, with the aim to instigate a debate of the issues raised in this manifesto – the necessary re-thinking of the role (and the concept) of nature in critical theory in relation to questions of ecology, health, and inequality. Since Krisis considers itself a place for philosophical debates that take contemporary struggles as starting point, it issued an open call and solicited responses to the manifesto. This is one of the (...) sixteen selected responses, which augment, specify, or question the assumptions and arguments of the manifesto. (shrink)

Examining the work on dialogue done by Gadamer, Habermas and Derrida, this article shows the theoretical depth and complexity of this concept. Drawing together different views, its highlights the stakes of the competing understandings of this topic. The diversity in their individual conceptualisations of dialogue gives an insight into the wealth of conceptual resources that is hidden in this word. This piece reads selected pieces from these thinkers through the lens of the concept of dialogue — building and refining a (...) definition of what dialogue could mean. (shrink)

The tetravalent modal logic is one of the two logics defined by Font and Rius :481–518, 2000) in connection with Monteiro’s tetravalent modal algebras. These logics are expansions of the well-known Belnap–Dunn’s four-valued logic that combine a many-valued character with a modal character. In fact, $${\mathcal {TML}}$$ TML is the logic that preserves degrees of truth with respect to tetravalent modal algebras. As Font and Rius observed, the connection between the logic $${\mathcal {TML}}$$ TML and the algebras is not so (...) good as in $${{\mathcal {TML}}}^N$$ TML N, but, as a compensation, it has a better proof-theoretic behavior, since it has a strongly adequate Gentzen calculus :481–518, 2000). In this work, we prove that the sequent calculus given by Font and Rius does not enjoy the cut-elimination property. Then, using a general method proposed by Avron et al., we provide a sequent calculus for $${\mathcal {TML}}$$ TML with the cut-elimination property. Finally, inspired by the latter, we present a natural deduction system, sound and complete with respect to the tetravalent modal logic. (shrink)